; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sext i64 18014398509482166540 to i128
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i8 6 to i64
  %".10" = zext i8 0 to i64
  %".11" = shl i64 %".10", 8
  %".12" = or i64 %".9", %".11"
  %".13" = zext i8 0 to i64
  %".14" = shl i64 %".13", 16
  %".15" = or i64 %".12", %".14"
  %".16" = zext i8 0 to i64
  %".17" = shl i64 %".16", 24
  %".18" = or i64 %".15", %".17"
  %".19" = zext i8 0 to i64
  %".20" = shl i64 %".19", 32
  %".21" = or i64 %".18", %".20"
  %".22" = zext i8 0 to i64
  %".23" = shl i64 %".22", 40
  %".24" = or i64 %".21", %".23"
  %".25" = zext i8 0 to i64
  %".26" = shl i64 %".25", 48
  %".27" = or i64 %".24", %".26"
  %".28" = zext i8 0 to i64
  %".29" = shl i64 %".28", 56
  %".30" = or i64 %".27", %".29"
  %".31" = zext i64 %".30" to i128
  %".32" = udiv i128 %".8", %".31"
  %".33" = trunc i128 %".32" to i64
  %".34" = sext i64 %".33" to i128
  %".35" = mul i128 %".4", %".34"
  %".36" = trunc i128 %".35" to i64
  %".37" = sext i64 %".36" to i128
  %".38" = zext i8 51 to i64
  %".39" = and i64 %".38", 63
  %".40" = lshr i64 %"SymVar_0", %".39"
  %".41" = zext i8 13 to i64
  %".42" = and i64 %".41", 63
  %".43" = shl i64 %"SymVar_0", %".42"
  %".44" = or i64 %".40", %".43"
  %".45" = sext i64 %".44" to i128
  %".46" = mul i128 %".37", %".45"
  %".47" = trunc i128 %".46" to i64
  %".48" = sext i64 81897458 to i128
  %".49" = add i64 %".36", %"SymVar_0"
  %".50" = sub i64 %".44", 785763710
  %".51" = sub i64 686160936, %".50"
  %".52" = zext i8 2 to i64
  %".53" = and i64 %".52", 63
  %".54" = lshr i64 %".51", %".53"
  %".55" = and i64 7, %".54"
  %".56" = or i64 1, %".55"
  %".57" = trunc i64 %".56" to i32
  %".58" = zext i32 %".57" to i64
  %".59" = trunc i64 %".58" to i8
  %".60" = zext i8 %".59" to i64
  %".61" = and i64 %".60", 63
  %".62" = lshr i64 %".49", %".61"
  %".63" = zext i8 1 to i64
  %".64" = and i64 %".63", 63
  %".65" = lshr i64 %".62", %".64"
  %".66" = and i64 7, %".65"
  %".67" = or i64 1, %".66"
  %".68" = trunc i64 %".67" to i32
  %".69" = zext i32 %".68" to i64
  %".70" = trunc i64 %".69" to i8
  %".71" = zext i8 %".70" to i64
  %".72" = and i64 %".71", 63
  %".73" = lshr i64 %".62", %".72"
  %".74" = trunc i64 %".73" to i8
  %".75" = zext i8 %".74" to i32
  %".76" = lshr i64 %".73", 8
  %".77" = trunc i64 %".76" to i8
  %".78" = zext i8 %".77" to i32
  %".79" = shl i32 %".78", 8
  %".80" = or i32 %".75", %".79"
  %".81" = lshr i64 %".73", 16
  %".82" = trunc i64 %".81" to i8
  %".83" = zext i8 %".82" to i32
  %".84" = shl i32 %".83", 16
  %".85" = or i32 %".80", %".84"
  %".86" = lshr i64 %".73", 24
  %".87" = trunc i64 %".86" to i8
  %".88" = zext i8 %".87" to i32
  %".89" = shl i32 %".88", 24
  %".90" = or i32 %".85", %".89"
  %".91" = zext i32 %".90" to i64
  %".92" = trunc i64 %".91" to i32
  %".93" = zext i32 %".92" to i64
  %".94" = trunc i64 %".93" to i32
  %".95" = zext i32 %".94" to i64
  %".96" = trunc i64 %".95" to i32
  %".97" = zext i32 %".96" to i64
  %".98" = trunc i64 %".97" to i32
  %".99" = zext i32 %".98" to i64
  %".100" = trunc i64 %".99" to i32
  %".101" = zext i32 %".100" to i64
  %".102" = trunc i64 %".101" to i32
  %".103" = zext i32 %".102" to i64
  %".104" = trunc i64 %".103" to i32
  %".105" = zext i32 %".104" to i64
  %".106" = trunc i64 %".105" to i32
  %".107" = zext i32 %".106" to i64
  %".108" = trunc i64 %".107" to i32
  %".109" = zext i32 %".108" to i64
  %".110" = trunc i64 %".109" to i32
  %".111" = zext i32 %".110" to i64
  %".112" = trunc i64 %".111" to i32
  %".113" = zext i32 %".112" to i64
  %".114" = trunc i64 %".113" to i32
  %".115" = trunc i32 %".114" to i8
  %".116" = zext i8 %".115" to i64
  %".117" = trunc i64 %".113" to i32
  %".118" = lshr i32 %".117", 8
  %".119" = trunc i32 %".118" to i8
  %".120" = zext i8 %".119" to i64
  %".121" = shl i64 %".120", 8
  %".122" = or i64 %".116", %".121"
  %".123" = trunc i64 %".113" to i32
  %".124" = lshr i32 %".123", 16
  %".125" = trunc i32 %".124" to i8
  %".126" = zext i8 %".125" to i64
  %".127" = shl i64 %".126", 16
  %".128" = or i64 %".122", %".127"
  %".129" = trunc i64 %".113" to i32
  %".130" = lshr i32 %".129", 24
  %".131" = trunc i32 %".130" to i8
  %".132" = zext i8 %".131" to i64
  %".133" = shl i64 %".132", 24
  %".134" = or i64 %".128", %".133"
  %".135" = lshr i64 %".73", 32
  %".136" = trunc i64 %".135" to i8
  %".137" = zext i8 %".136" to i32
  %".138" = lshr i64 %".73", 40
  %".139" = trunc i64 %".138" to i8
  %".140" = zext i8 %".139" to i32
  %".141" = shl i32 %".140", 8
  %".142" = or i32 %".137", %".141"
  %".143" = lshr i64 %".73", 48
  %".144" = trunc i64 %".143" to i8
  %".145" = zext i8 %".144" to i32
  %".146" = shl i32 %".145", 16
  %".147" = or i32 %".142", %".146"
  %".148" = lshr i64 %".73", 56
  %".149" = trunc i64 %".148" to i8
  %".150" = zext i8 %".149" to i32
  %".151" = shl i32 %".150", 24
  %".152" = or i32 %".147", %".151"
  %".153" = zext i32 %".152" to i64
  %".154" = trunc i64 %".153" to i32
  %".155" = zext i32 %".154" to i64
  %".156" = trunc i64 %".155" to i32
  %".157" = zext i32 %".156" to i64
  %".158" = trunc i64 %".157" to i32
  %".159" = zext i32 %".158" to i64
  %".160" = trunc i64 %".159" to i32
  %".161" = zext i32 %".160" to i64
  %".162" = trunc i64 %".161" to i32
  %".163" = zext i32 %".162" to i64
  %".164" = trunc i64 %".163" to i32
  %".165" = zext i32 %".164" to i64
  %".166" = trunc i64 %".165" to i32
  %".167" = zext i32 %".166" to i64
  %".168" = trunc i64 %".167" to i32
  %".169" = zext i32 %".168" to i64
  %".170" = trunc i64 %".169" to i32
  %".171" = zext i32 %".170" to i64
  %".172" = trunc i64 %".171" to i32
  %".173" = zext i32 %".172" to i64
  %".174" = trunc i64 %".173" to i32
  %".175" = zext i32 %".174" to i64
  %".176" = trunc i64 %".175" to i32
  %".177" = trunc i32 %".176" to i8
  %".178" = zext i8 %".177" to i64
  %".179" = shl i64 %".178", 32
  %".180" = or i64 %".134", %".179"
  %".181" = trunc i64 %".175" to i32
  %".182" = lshr i32 %".181", 8
  %".183" = trunc i32 %".182" to i8
  %".184" = zext i8 %".183" to i64
  %".185" = shl i64 %".184", 40
  %".186" = or i64 %".180", %".185"
  %".187" = trunc i64 %".175" to i32
  %".188" = lshr i32 %".187", 16
  %".189" = trunc i32 %".188" to i8
  %".190" = zext i8 %".189" to i64
  %".191" = shl i64 %".190", 48
  %".192" = or i64 %".186", %".191"
  %".193" = trunc i64 %".175" to i32
  %".194" = lshr i32 %".193", 24
  %".195" = trunc i32 %".194" to i8
  %".196" = zext i8 %".195" to i64
  %".197" = shl i64 %".196", 56
  %".198" = or i64 %".192", %".197"
  %".199" = sext i64 %".198" to i128
  %".200" = mul i128 %".48", %".199"
  %".201" = trunc i128 %".200" to i64
  %".202" = and i64 7, %".44"
  %".203" = zext i8 2 to i64
  %".204" = and i64 %".203", 63
  %".205" = shl i64 %".202", %".204"
  %".206" = or i64 %".36", %".44"
  %".207" = add i64 %".206", %"SymVar_0"
  %".208" = or i64 %".205", %".207"
  %".209" = and i64 7, %".208"
  %".210" = zext i8 2 to i64
  %".211" = and i64 %".210", 63
  %".212" = shl i64 %".209", %".211"
  %".213" = or i64 %".212", %".208"
  %".214" = xor i64 %".201", %".213"
  %".215" = and i64 15, %".214"
  %".216" = or i64 1, %".215"
  %".217" = sub i64 64, %".216"
  %".218" = trunc i64 %".217" to i32
  %".219" = zext i32 %".218" to i64
  %".220" = trunc i64 %".219" to i8
  %".221" = zext i8 %".220" to i64
  %".222" = and i64 %".221", 63
  %".223" = lshr i64 %".47", %".222"
  %".224" = sext i64 %".36" to i128
  %".225" = sext i64 %".44" to i128
  %".226" = mul i128 %".224", %".225"
  %".227" = trunc i128 %".226" to i64
  %".228" = sext i64 81897458 to i128
  %".229" = zext i8 %".115" to i64
  %".230" = zext i8 %".119" to i64
  %".231" = shl i64 %".230", 8
  %".232" = or i64 %".229", %".231"
  %".233" = zext i8 %".125" to i64
  %".234" = shl i64 %".233", 16
  %".235" = or i64 %".232", %".234"
  %".236" = zext i8 %".131" to i64
  %".237" = shl i64 %".236", 24
  %".238" = or i64 %".235", %".237"
  %".239" = zext i8 %".177" to i64
  %".240" = shl i64 %".239", 32
  %".241" = or i64 %".238", %".240"
  %".242" = zext i8 %".183" to i64
  %".243" = shl i64 %".242", 40
  %".244" = or i64 %".241", %".243"
  %".245" = zext i8 %".189" to i64
  %".246" = shl i64 %".245", 48
  %".247" = or i64 %".244", %".246"
  %".248" = zext i8 %".195" to i64
  %".249" = shl i64 %".248", 56
  %".250" = or i64 %".247", %".249"
  %".251" = sext i64 %".250" to i128
  %".252" = mul i128 %".228", %".251"
  %".253" = trunc i128 %".252" to i64
  %".254" = xor i64 %".253", %".213"
  %".255" = and i64 15, %".254"
  %".256" = or i64 1, %".255"
  %".257" = trunc i64 %".256" to i32
  %".258" = zext i32 %".257" to i64
  %".259" = trunc i64 %".258" to i8
  %".260" = zext i8 %".259" to i64
  %".261" = and i64 %".260", 63
  %".262" = shl i64 %".227", %".261"
  %".263" = or i64 %".223", %".262"
  ret i64 %".263"
}
